DEF=kast-in
EXT=kast-in
TESTDIR=.
KOMPILE_BACKEND=llvm
KAST_FLAGS=--gen-parser
CHECK=| diff -

include ../../../include/kframework/ktest.mak
